(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const v9 Bool)
(declare-const r0 Real)
(assert (= v3 v8 v1 v7 v4))
(assert (or v4 v4 v7 v4 v4 v1))
(declare-const v10 Bool)
(declare-const v11 Bool)
(declare-const r1 Real)
(assert (xor v1 true true true v4 v3 (= v3 v8 v1 v7 v4) true (xor v3 true true true (= v3 v8 v1 v7 v4) true)))
(check-sat)
